Model Transformation Technologies in the Context of Modelling Software Systems
نویسنده
چکیده
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and implementation of an Information Systems persists. Object-Oriented Methods, Formal Specification Languages, Component-Based Software Production... This is just a very short list of technologies proposed to solve a very old and, at the same time, very wellknown problem: how to produce software of quality. Programming has been the key task during the last 40 years, and the results have not been successful yet. This work will explore the need of facing a sound software production process from a different perspective: the non-programming perspective, where by nonprogramming we mainly mean modeling. Instead of talking about Extreme Programming, we will introduce a Extreme Non-Programming (Extreme Modeling-Oriented) approach. We will base our ideas on the intensive work done during the last years, oriented to the objective of generating code from a higher-level system specification, normally represented as a Conceptual Schema. Nowadays, though, the hip around MDA has given a new push to these strategies. New methods propose sound model transformations which cover all the different steps of a sound software production process from an Information Systems Engineering point of view. This must include Organizational Modeling, Requirements Engineering, Conceptual Modeling and Model-Based Code Generation techniques. In this context, it seems that the time of Model Transformation Technologies is finally here...
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملTransformation in Smallholder Agriculture through Intensification in Ethiopia: Determinants and Implications
It is a challenge for a farmer with limited resources to decide on the production of commodities and investment in the farm. Transformation of smallholder subsistence agriculture, to market oriented value addition based agriculture is vital for poverty reduction in Ethiopia. This study was initiated to explore the factors which contribute for the adoption of improved wheat and pepper varieties ...
متن کاملGreen Energy Generation in Buildings: Grid-Tied Distributed Generation Systems (DGS) With Energy Storage Applications to Sustain the Smart Grid Transformation
The challenge of electricity distribution’s upgrade to incorporate new technologies is big, and electric utilities are mandated to work diligently on this agenda, thus making investments to ensure that current networks maintain their electricity supply commitments secure and reliable in face of disruptions and adverse environmental conditions from a variety of sources. The paper presents a new ...
متن کاملDigital Competencies Of Teachers In The Transformation Of The Educational Environment
The purpose of this study is to determine the main directions of development of digital competencies of teachers to ensure a quality educational process in the transformation of the educational environment. The relevance of this study is due to the need to determine the main directions of development of the education system for adaptation in the context of digitalization of society. It is estab...
متن کاملAnalytical Dynamic Modelling of Heel-off and Toe-off Motions for a 2D Humanoid Robot
The main objective of this article is to optimize the walking pattern of a 2D humanoid robot with heel-off and toe-off motions in order to minimize the energy consumption and maximize the stability margin. To this end, at first, a gait planning method is introduced based on the ankle and hip joint position trajectories. Then, using these trajectories and the inverse kinematics, the position tra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006